programme correctness proof - French English Dictionary